Browsing by Subject "Diagnosis algorithms"
Now showing items 1-1 of 1
-
Conference Object
Probabilistic marking estimation in labeled petri nets
(Institute of Electrical and Electronics Engineers Inc., 2013)Given a labeled Petri net, possibly with silent transitions, we are interested in performing current marking estimation in a probabilistic setting. We assume a known initial marking or a known finite set of initial markings, ...